Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
731	UITP[removed]A User Interface for a Mathematical System that Allows Ambiguous Formulae Claudio Sacerdoti Coen 1,2 Department of Computer Science, University of Bologna Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-01-19 05:48:12 Mathematical logic Model theory Predicate logic Formal languages Interpretation Ambiguity Mathematical notation Formal proof ALGOL 68 Logic Semantics Mathematics
732	Pairing-Based Identification Schemes Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-06-06 19:27:43 Public-key cryptography Finite fields BLS Computational Diffie–Hellman assumption Diffie–Hellman problem Decisional Diffie–Hellman assumption Diffie–Hellman key exchange Zero-knowledge proof Digital signature Cryptography Computational hardness assumptions Cryptographic protocols
733	Categorial and Type-Logical Grammars (LING419F) — Syllabus 1 Categorial and Type-Logical Grammars (LING419F) Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-09-04 17:27:57 Knowledge Proof theory Categorial grammar Grammar Academic dishonesty Syntax Sequent Natural deduction Syllabus Education Formal languages Linguistics
734	Natural deduction environment for Matita Claudio Sacerdoti Coen? and Enrico Tassi? Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.it Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2010-02-23 11:12:50 Mathematical logic Markup languages Mathematical markup languages Logical syntax Automated theorem proving Natural deduction MathML Theorem Formal proof Logic Mathematics Proof theory
735	Introduction to mathematical arguments (background handout for courses requiring proofs) by Michael Hutchings A mathematical proof is an argument which convinces other people that something is true. Math isn’t a court Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2003-01-29 15:54:56 Mathematical logic Quantification Algebraic number theory Modular arithmetic Vacuous truth Universal quantification Mathematical proof Existential quantification If and only if Mathematics Abstract algebra Logic
736	Microsoft Word - YCWLectures-LamTY.doc Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2008-04-17 00:03:06 Mathematical logic Proof theory Mathematical proof Formal proof Theorem Logic Mathematics Logical syntax
737	Automated Certified Proofs with CiME3∗ ´ Contejean1,2 E. P. Courtieu3 Add to Reading List Source URL: cedric.cnam.fr Language: English - Date: 2011-02-13 18:15:50 Applied mathematics Automated theorem proving Formal languages Logic in computer science Computability theory Termination analysis Mathematical proof Rewriting Heuristic Theoretical computer science Mathematics Mathematical logic
738	Modern Cryptography, Probabilistic Proofs and Pseudorandomness (Second Edition – author’s copy) Oded Goldreich Department of Computer Science and Applied Mathematics Weizmann Institute of Science, Rehovot, Israel. Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2009-03-21 13:40:58 Pseudorandomness Mathematical logic Oded Goldreich Algorithmic information theory Pseudorandom generator Silvio Micali Probabilistically checkable proof Mathematical proof Randomness Theoretical computer science Applied mathematics Cryptography
739	Valiant’s Polynomial-Size Monotone Formula for Majority Oded Goldreich July 11, 2011 Summary: This text provides an exposition of Valiant’s proof of the existence of polynomial-size monotone formula for Majority. The Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2011-07-11 06:22:34 Circuit complexity Probability theory Real analysis Independence Statistical dependence Majority function PP FO Monotonic function Theoretical computer science Computational complexity theory Mathematical analysis
740	Declarative Representation of Proof Terms Claudio Sacerdoti Coen? Department of Computer Science, University of Bologna [removed] Abstract. We present a declarative language inspired by the pseudonatural lang Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2008-10-31 05:51:56 Proof theory Entailment Symbol Structure Logic Deduction Natural deduction

UPDATE